Visual illusions of movement

Visual illusions related to involuntary eye movemen

Capturing Hiproofs in HOL Light

Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used to abstract away from details, or to label particular portions to explain their purpose. In this paper we present two complementary methods for capturing hiproofs in HOL Light, along with a tool to produce web-based visualisations. The first method uses tactic recording, by modifying tactics to record their arguments and construct a hierarchical tree; this allows a tactic proof script to be modified. The second method uses proof recording, which extends the HOL Light kernel to record hierachical proof trees alongside theorems. This method is less invasive, but requires care to manage the size of the recorded objects. We have implemented both methods, resulting in two systems: Tactician and HipCam

Recovery of zeta-chain expression and changes in spontaneous IL-10 production after PSA-based vaccines in patients with prostate cancer.

Circulating T lymphocytes of patients with prostate cancer have been reported to have functional deficits, including low or absent zeta-chain expression. To determine whether these functional impairments could be reversed by prostate specific antigen-based vaccination therapy, 10 patients treated with recombinant human prostate specific antigen plus GM-CSF and eight others receiving prostate specific antigen plus oil emulsion in two pilot clinical trials were evaluated prior to and after vaccination for several immunologic end points, including zeta-chain expression and cytokine production by circulating T cells as well as the frequency of T cells able to respond to prostate specific antigen in ELISPOT assays. The flow cytometry assay for zeta-chain expression was standardized to allow for a reliable comparison of pre- vs post-vaccination samples. Prior to therapy, the patients were found to have significantly lower zeta-chain expression in circulating CD3(+) cells and a higher percentage of zeta-chain negative CD3(+) and CD4(+) cells than normal donors. The patients\u27 peripheral blood mononuclear cells spontaneously produced more IL-10 ex vivo than those of normal controls. After vaccination, recovery of zeta-chain expression was observed in 50% of patients in both clinical trials. Also, spontaneous IL-10 secretion by peripheral blood mononuclear cells decreased following immunotherapy in patients treated with prostate specific antigen and GM-CSF. The frequency of prostate specific antigen-reactive T cells was detectable in 7 out of 18 patients vs 4 out of 18 patients prior to vaccination. Only one of 18 patients was a clinical responder. The vaccine had stimulatory effects on the patients\u27 immune system, but post-vaccine immune recovery could not be correlated to progression-free survival in this small cohort of patients with prostate cancer

Modulation of TcR/CD3-zeta chain expression by a circulating factor derived from ovarian cancer patients

In women with ovarian cancer, suppression of components of the immune system may promote tumour development. Previous studies in ovarian cancer have demonstrated that decreased expression and function of the T-cell receptor (TcR)-associated signal transducing zeta-chain correlates with deficient immune responsiveness of T cells. In this study, sera and ascitic fluids obtained from woman with advanced ovarian cancer were found to suppress the expression of TcR-associated zeta chain. This suppression of zeta chain expression was dose-dependent and was not observed with biologic fluids obtained from healthy women. © 2001 Cancer Research Campaign http://www.bjcancer.co

IRX-2, a Novel Immunotherapeutic, Enhances Functions of Human Dendritic Cells

Background: In a recent phase II clinical trial for HNSCC patients, IRX-2, a cell-derived biologic, promoted T-cell infiltration into the tumor and prolonged overall survival. Mechanisms responsible for these IRX-2-mediated effects are unknown. We hypothesized that IRX-2 enhanced tumor antigen-(TA)-specific immunity by up-regulating functions of dendritic cells (DC). Methodology/Principal Findings: Monocyte-derived DC obtained from 18 HNSCC patients and 12 healthy donors were matured using IRX-2 or a mix of TNF-α, IL-1β and IL-6 ("conv. mix"). Multicolor flow cytometry was used to study the DC phenotype and antigen processing machinery (APM) component expression. ELISPOT and cytotoxicity assays were used to evaluate tumor-reactive cytotoxic T lymphocytes (CTL). IL-12p70 and IL-10 production by DC was measured by Luminex® and DC migration toward CCL21 was tested in transwell migration assays. IRX-2-matured DC functions were compared with those of conv. mix-matured DC. IRX-2-matured DC expressed higher levels (p<0.05) of CD11c, CD40, CCR7 as well as LMP2, TAP1, TAP2 and tapasin than conv. mix-matured DC. IRX-2-matured DC migrated significantly better towards CCL21, produced more IL-12p70 and had a higher IL12p70/IL-10 ratio than conv. mix-matured DC (p<0.05 for all). IRX-2-matured DC carried a higher density of tumor antigen-derived peptides, and CTL primed with these DC mediated higher cytotoxicity against tumor targets (p<0.05) compared to the conv. mix-matured DC. Conclusion: Excellent ability of IRX-2 to induce ex vivo DC maturation in HNSCC patients explains, in part, its clinical benefits and emphasizes its utility in ex vivo maturation of DC generated for therapy. © 2013 Schilling et al

Late Maastrichtian carbon isotope stratigraphy and cyclostratigraphy of the Newfoundland Margin (Site U1403, IODP Expedition 342)

Earth’s climate during the Maastrichtian (latest Cretaceous) was punctuated by brief warming and cooling episodes, accompanied by perturbations of the global carbon cycle. Superimposed on a long-term cooling trend, the middle Maastrichtian is characterized by deep-sea warming and relatively high values of stable carbon-isotope ratios, followed by strong climatic variability towards the end of the Cretaceous. A lack of knowledge on the timing of climatic change inhibits our understanding of underlying causal mechanisms. We present an integrated stratigraphy from Integrated Ocean Drilling Program (IODP) Site U1403, providing an expanded deep ocean record from the North Atlantic (Expedition 342, Newfoundland Margin). Distinct sedimentary cyclicity suggests that orbital forcing played a major role in depositional processes, which is confirmed by statistical analyses of high resolution elemental data obtained by X-ray fluorescence (XRF) core scanning. Astronomical calibration reveals that the investigated interval encompasses seven 405-kyr cycles (Ma4051 to Ma4057) and spans the 2.8 Myr directly preceding the Cretaceous/Paleocene (K/Pg) boundary. A high-resolution carbon-isotope record from bulk carbonates allows us to identify global trends in the late Maastrichtian carbon cycle. Low-amplitude variations (up to 0.4‰) in carbon isotopes at Site U1403 match similar scale variability in records from Tethyan and Pacific open-ocean sites. Comparison between Site U1403 and the hemipelagic restricted basin of the Zumaia section (northern Spain), with its own well-established independent cyclostratigraphic framework, is more complex. Whereas the pre-K/Pg oscillations and the negative values of the Mid-Maastrichtian Event (MME) can be readily discerned in both the Zumaia and U1403 records, patterns diverge during a ~ 1 Myr period in the late Maastrichtian (67.8–66.8 Ma), with Site U1403 more reliably reflecting global carbon cycling. Our new carbon isotope record and cyclostratigraphy offer promise for Site U1403 to serve as a future reference section for high-resolution studies of late Maastrichtian paleoclimatic change

Radiation tolerance of GaAs1-xSbx solar cells

High radiation tolerance of GaAs1-xSbx based solar cells is demonstrated for the low-intensity-low-temperature (LILT) conditions of the target planets Saturn, Jupiter, and Mars. The GaAs1-xSbx-based cells are irradiated with high energy electrons to assess the effect of harsh radiation environment on the solar cell and the response of the cell is then investigated in terms of its photovoltaic operation. This system shows significant radiation resistance to the high energy electron environment for the conditions of the planets of interest. An unusual increase of the short circuit current after irradiation is observed at low temperature, which is supported by a simultaneous increase in the external quantum efficiency of the cell under the same conditions. The open circuit voltage and fill factor of the cell are especially tolerant to irradiation, which is also reflected in unchanged dark current-voltage characteristics of the solar cell upon irradiation particularly at LILT